|
|
Generátor otisků prstů
Chaloupka, Radek ; Orság, Filip (oponent) ; Drahanský, Martin (vedoucí práce)
Algoritmy pro rozpoznávání otisků prstů jsou známé již dlouho a přetrvává snaha o jejich pokud možno co nejlepší optimalizaci. Tato diplomová práce je ovšem na postup opačná, kdy otisky prstů nejsou rozpoznávány, ale jsou generovány na základě pozic markantů. Takový algoritmus je tedy oproštěn od detekce markantů z obrazu a úprav otisku. Výsledkem práce je aplikace, která generuje otisky prstů na základě několika parametrů, obzvláště markantů.
|
|
| |
|
|
Synthesizing Non-Termination Proofs from Templates
Martiček, Štefan ; Fiedor, Tomáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
One of the properties that are most difficult to verify in the area of formal analysis is liveness. Proving non-termination of programs also belongs to the methods that verify this property. Our work describes the design and implementation of two algorithms checking non-termination. We inspire ourselves by already existing approaches, such as recurrence sets and over-approximation of loops with the use of invariants in the form of recurrence relations. The main challenge for us was an adaptation of these algorithms to the SSA (single static assignment) representation used in 2LS and the overall integration in our framework. We were able to unify the mentioned approaches into analysis of non-termination, which achieves the best results in comparison to the other tools that were compared at the SV-COMP 2017 competition.
|
|
|
Stanovení hodnoty nemovitostí zatížené věcným břemenem
Fojtík, Zdeněk ; Cupal, Martin (oponent) ; Sedláček, Jan (vedoucí práce)
Práce se zabývá stanovením hodnoty nemovitosti zatížené věcným břemenem zřizovanými ve prospěch staveb dopravní infrastruktury.Cílem je stanovení hodnoty nemovitosti za účelem prodeje a pro daňové účely. V souvislosti se zřízeným věcným břemenem zdůvodňuje znehodnocení nemovitosti související se vznikem věcného břemene. V první části práce se zabývám teoretickými aspekty souvisejícími se soudním inženýrstvím, realitním trhem, věcnými břemeny a jejich oceněním. V návrhové části je konkrétně řešeno ocenění nemovitosti včetně pozemku, na kterých je věcné břemeno zřízeno.
|
|
|
Stanovení hodnoty věcného břemene průchodu a průjezdu
Valentová, Renata ; Hlavinková, Vítězslava (oponent) ; Sedláček, Jan (vedoucí práce)
Předmětem diplomové práce je stanovení hodnoty věcného břemene průchodu a průjezdu přes pozemek jiného vlastníka. Hodnota věcného břemene bude stanovena na dobu neurčitou, na dobu trvání 20 let a na dobu života oprávněného. Bude vypočítána cena obvyklá a cena administrativní. Teoretická část je zaměřena na objasnění pojmu věcné břemeno, jeho možnosti vzniku, zániku a změn, a dále je uvedena problematika oceňování věcného břemene. V návrhové části je řešen konkrétní průchod a průjezd z hlediska užitku oprávněného a ztráty povinného.
|
|
|
Právní úprava a způsoby oceňování věcných břemen
Adámek, Tomáš ; Šmahel, Milan (oponent) ; Sedláček, Jan (vedoucí práce)
Diplomová práce je zaměřena na problematiku věcných břemen zatěžujících nemovitosti v ČR. Celá práce je rozdělena na dvě části textovou a návrhovou. V textové části jsou rozebrány obecné pojmy související s oceňováním nemovitostí obecně, metody oceňování nemovitého majetku. Dále následuje právní úprava věcných břemen, metody a postupy při oceňování věcných břemen a stanovení hodnoty nemovitosti s váznoucími věcnými břemeny. Na základě poznatků z textové části je v úvodu návrhové části oceněn rodinný dům včetně veškerého příslušenství. Na tomto rodinném domě váznou tři věcná břemena, a to věcné břemeno bezplatného bydlení v části rodinného domu, věcné břemeno omezení stavební činnosti na části pozemku a věcné břemeno umístění poštovní schránky na rodinném domě. Rodinný dům i věcná břemena jsou oceněny jak cenou zjištěnou podle cenového předpisu – pro daňové účely, tak cenou obvyklou – za účelem prodeje nemovitosti. Na závěr je stanovena výsledná hodnota nemovitosti s váznoucími věcnými břemeny, provedeno vyhodnocení a uvedeno doporučení pro obdobné případy ocenění.
|
|
|
Srovnání obvyklé ceny věcného břemene inženýrských sítí s cenami podle vnitřních předpisů obcí
Prokopová, Tereza ; Klika, Pavel (oponent) ; Sedláček, Jan (vedoucí práce)
Práce se zabývá oceněním služebnosti inženýrské sítě cenou obvyklou a na základě vnitřních předpisů obcí. Teoretická část práce se zaměřuje na problematiku týkající se věcných břemen, stručný přehled historie, členění, možnosti vzniku a zániku a dále na popis a členění technické infrastruktury se zaměřením na plynovodní vedení. Poslední část teoretické práce obsahuje popis způsobů a metod oceňování věcných břemen. V praktické části je provedeno samotné ocenění věcných břemen na základě vnitřních předpisů obcí a vlastní výpočet obvyklé ceny.
|
|
|
Ocenění pozemku zatíženého služebností
Nedůchalová, Ludmila ; Hlavinková, Vítězslava (oponent) ; Sedláček, Jan (vedoucí práce)
Diplomová práce zpracovává problematiku věcných břemen a jejich vliv na ocenění pozemku. Nejdříve jsou v práci popsány základní pojmy týkající se tématu, dále pak právní úprava věcných břemen, členění a možnosti vzniku, změny a zániku. Dále jsou rozebrány druhy cen a ocenění pozemku, věcných břemen a pozemků zatížených těmito věcnými břemeny. V návrhové části je provedeno ocenění konkrétního pozemku (cenou obvyklou a zjištěnou), který je zatížen věcným břemenem cesty a stezky.
|
|
| |
|
|
Laboratorní přípravek RS-485
Hříbek, Šimon ; Burian, František (oponent) ; Fiedler, Petr (vedoucí práce)
Bakalářská práce se zabývá návrhem laboratorního přípravku zaměřeného na komunikaci pomocí RS-485. Přípravek bude určen pro výuku. První část práce seznamuje čtenáře se základními vlastnostmi standardu RS-485. Jsou zde popsány základní charakteristiky, způsoby a význam terminace a použití v průmyslu. Druhá část se zabývá návrhem přípravku z funkčního hlediska. Je zde popsáno schéma přípravku a také jsou zde popsány jednotlivé části a jejich význam. Třetí část obsahuje popis volby konkrétních komponent a seznámení s jejich významem. Poslední část práce seznamuje čtenáře s vývojem přípravku, chybami v návrhu a jejich opravami.
|
host ::
RSS.